منابع مشابه
Counter-Example Guided Program Verification
This paper presents a novel counter-example guided abstraction refinement algorithm for the automatic verification of concurrent programs. Our algorithm proceeds in different steps. It first constructs an abstraction of the original program by slicing away a given subset of variables. Then, it uses an external model checker as a backend tool to analyze the correctness of the abstract program. I...
متن کاملProgram Counter Encoding for ARM® Architecture
ARM® is the prevalent processor architecture for embedded and mobile applications. For the smartphones, it is the processor for which software applications are running, whether the platform is with Apple’s iOS or Google’s Android. Software operations under these platforms are prone to semantic gap, which refers to potential difference between intended operations described in software and actual...
متن کاملSEUs Mitigation on Program Counter of the LEON3 Soft Processor
Analyzing and evaluating the sensitivity of embedded systems to soft-errors have always been a challenge for aerospace or safety equipment designer. Different automated fault-injection methods have been developed for evaluating the sensitivity of integrated circuit. Also many techniques have been developed to get a fault tolerant architecture in order to mask and mitigate fault injection in a c...
متن کاملOver-the-Counter Products In Line for User Fee Program.
Over-the-counter products in line for user fee program.
متن کاملNetwork-Aware Program-Counter-Based Disk Energy Management
Reducing energy consumption is critical to prolonging the battery life in portable devices. With rising energy costs and increases in energy consumption by devices in stationary systems energy expenses of large corporations can annually reach into millions of dollars. Subsequently, energy management has also become important for desktop machines in large scale organizations. While energy manage...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGARCH Computer Architecture News
سال: 2017
ISSN: 0163-5964
DOI: 10.1145/3093337.3037701